From Formal Specifications to Natural Language: A Case Study
نویسندگان
چکیده
Because software specifications often serve as a formal contract between the developer and the customer, systems have been proposed ([8], [2], [5]) that help the software client better understand specifications by automatically paraphrasing them in natural language. The REVIEW system [6] applies natural language generation within Metaview [7], a metasystem that facilitates the construction of CASE environments to support software specification tasks. This paper summarizes a technical report [3] that presents REVIEW through a case study involving the Object Model of Rumbaugh’s OMT specification methodology [4].
منابع مشابه
Designing dependable logic controllers using algebraic specifications
Formal methods can strongly contribute to improve dependability of logic controllers during design, by providing means to avoid flaws due to designers' omissions or specifications misinterpretations. This article presents a formal synthesis method that is aimed at obtaining the control laws of a logic system from specifications given in natural language. The formal framework that underlies the ...
متن کاملThesis for the Degree of Doctor of Philosophy Formal and Informal Software Specifications
The topic of this thesis is to bridge the gap between formal and informal software specifications. Formal specifications are required for the use of formal methods to verify the correctness of software. If we expect formal methods to be used in realistic software development projects, we need to enable people with varying levels of familiarity with formal specification languages to understand, ...
متن کاملTranslating Formal Software Specifications to Natural Language A Grammar-Based Approach
We describe a system for automatically translating formal software specifications to natural language. The system produces natural language which is acceptable to a human reader, and it supports byhand optimization by users who are not experts of our system. The translation system is implemented using the Grammatical Framework, a grammar formalism based on Martin-Löf’s type theory. We show that...
متن کاملProcessing Natural Language Software Requirement Specifications
Ambiguity in requirement speciications causes numerous problems; for example in deening cus-tomer/supplier contracts, ensuring the integrity of safety-critical systems, and analysing the implications of system change requests. A direct appeal to formal speciication has not solved these problems, partly because of the restrictiveness and lack of habitability of formal languages. An alternative a...
متن کاملTest Generation from Formal Specifications
Requirements serve as the basis of test generation. Requirements for a program under test can be known to the test generator in a variety of forms. A commonly used form is a plain English language description. The tester generates test cases from these requirements. While requirements written in plain English allow quick understanding and dissemination to a wide audience, they suffer from sever...
متن کامل